Filtros : "Carbogim, Daniela Vasconcelos" Limpar

Filtros



Refine with date range


  • Source: New Generation Computing. Unidade: IME

    Subjects: PROGRAMAÇÃO LÓGICA, REPRESENTAÇÃO DE CONHECIMENTO

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      CARBOGIM, Daniela Vasconcelos e SILVA, Flávio Soares Corrêa da. Facts, arguments, annotations and reasoning. New Generation Computing, v. 19, n. 1, p. 1-22, 2001Tradução . . Disponível em: https://doi.org/10.1007/bf03037532. Acesso em: 27 abr. 2024.
    • APA

      Carbogim, D. V., & Silva, F. S. C. da. (2001). Facts, arguments, annotations and reasoning. New Generation Computing, 19( 1), 1-22. doi:10.1007/bf03037532
    • NLM

      Carbogim DV, Silva FSC da. Facts, arguments, annotations and reasoning [Internet]. New Generation Computing. 2001 ; 19( 1): 1-22.[citado 2024 abr. 27 ] Available from: https://doi.org/10.1007/bf03037532
    • Vancouver

      Carbogim DV, Silva FSC da. Facts, arguments, annotations and reasoning [Internet]. New Generation Computing. 2001 ; 19( 1): 1-22.[citado 2024 abr. 27 ] Available from: https://doi.org/10.1007/bf03037532
  • Source: Proceedings. Conference titles: Ibero-American Conference on Artificial Intelligence - IBERAMIA. Unidade: IME

    Assunto: INTELIGÊNCIA ARTIFICIAL

    Acesso à fonteAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      CARBOGIM, Daniela Vasconcelos e WASSERMANN, Renata. Full acceptance via argumentation. 2000, Anais.. New York: ACM, 2000. Disponível em: https://dl.acm.org/doi/10.5555/645854.669644. Acesso em: 27 abr. 2024.
    • APA

      Carbogim, D. V., & Wassermann, R. (2000). Full acceptance via argumentation. In Proceedings. New York: ACM. doi:10.5555/645854.669644
    • NLM

      Carbogim DV, Wassermann R. Full acceptance via argumentation [Internet]. Proceedings. 2000 ;[citado 2024 abr. 27 ] Available from: https://dl.acm.org/doi/10.5555/645854.669644
    • Vancouver

      Carbogim DV, Wassermann R. Full acceptance via argumentation [Internet]. Proceedings. 2000 ;[citado 2024 abr. 27 ] Available from: https://dl.acm.org/doi/10.5555/645854.669644
  • Source: Applied Intelligence. Unidade: IME

    Assunto: INTELIGÊNCIA ARTIFICIAL

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      CARBOGIM, Daniela Vasconcelos e SILVA, Flávio Soares Corrêa da. Annotated logic applications for imperfect information. Applied Intelligence, v. 9, p. 163-172, 1998Tradução . . Disponível em: https://doi.org/10.1023/A:1008268003741. Acesso em: 27 abr. 2024.
    • APA

      Carbogim, D. V., & Silva, F. S. C. da. (1998). Annotated logic applications for imperfect information. Applied Intelligence, 9, 163-172. doi:10.1023/A:1008268003741
    • NLM

      Carbogim DV, Silva FSC da. Annotated logic applications for imperfect information [Internet]. Applied Intelligence. 1998 ; 9 163-172.[citado 2024 abr. 27 ] Available from: https://doi.org/10.1023/A:1008268003741
    • Vancouver

      Carbogim DV, Silva FSC da. Annotated logic applications for imperfect information [Internet]. Applied Intelligence. 1998 ; 9 163-172.[citado 2024 abr. 27 ] Available from: https://doi.org/10.1023/A:1008268003741
  • Unidade: IME

    Assunto: METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      SILVA, Flávio Soares Corrêa da e CARBOGIM, Daniela Vasconcelos. A two-sorted interpretation for annotated logic. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/0800bb26-3264-469f-b9b8-41573ec27939/1019940.pdf. Acesso em: 27 abr. 2024. , 1998
    • APA

      Silva, F. S. C. da, & Carbogim, D. V. (1998). A two-sorted interpretation for annotated logic. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/0800bb26-3264-469f-b9b8-41573ec27939/1019940.pdf
    • NLM

      Silva FSC da, Carbogim DV. A two-sorted interpretation for annotated logic [Internet]. 1998 ;[citado 2024 abr. 27 ] Available from: https://repositorio.usp.br/directbitstream/0800bb26-3264-469f-b9b8-41573ec27939/1019940.pdf
    • Vancouver

      Silva FSC da, Carbogim DV. A two-sorted interpretation for annotated logic [Internet]. 1998 ;[citado 2024 abr. 27 ] Available from: https://repositorio.usp.br/directbitstream/0800bb26-3264-469f-b9b8-41573ec27939/1019940.pdf
  • Unidade: IME

    Subjects: METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO, INTELIGÊNCIA ARTIFICIAL

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      CARBOGIM, Daniela Vasconcelos. Programação em lógica anotada: teoria e aplicações. 1996. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 1996. Disponível em: https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-012319/. Acesso em: 27 abr. 2024.
    • APA

      Carbogim, D. V. (1996). Programação em lógica anotada: teoria e aplicações (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-012319/
    • NLM

      Carbogim DV. Programação em lógica anotada: teoria e aplicações [Internet]. 1996 ;[citado 2024 abr. 27 ] Available from: https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-012319/
    • Vancouver

      Carbogim DV. Programação em lógica anotada: teoria e aplicações [Internet]. 1996 ;[citado 2024 abr. 27 ] Available from: https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-012319/
  • Unidade: IME

    Assunto: METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      CARBOGIM, Daniela Vasconcelos e SILVA, Flávio Soares Corrêa da. Facts, anotations, arguments and reasoning. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/a9c03151-7f66-445f-9ccb-7cf60e6b581f/895288.pdf. Acesso em: 27 abr. 2024. , 1996
    • APA

      Carbogim, D. V., & Silva, F. S. C. da. (1996). Facts, anotations, arguments and reasoning. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/a9c03151-7f66-445f-9ccb-7cf60e6b581f/895288.pdf
    • NLM

      Carbogim DV, Silva FSC da. Facts, anotations, arguments and reasoning [Internet]. 1996 ;[citado 2024 abr. 27 ] Available from: https://repositorio.usp.br/directbitstream/a9c03151-7f66-445f-9ccb-7cf60e6b581f/895288.pdf
    • Vancouver

      Carbogim DV, Silva FSC da. Facts, anotations, arguments and reasoning [Internet]. 1996 ;[citado 2024 abr. 27 ] Available from: https://repositorio.usp.br/directbitstream/a9c03151-7f66-445f-9ccb-7cf60e6b581f/895288.pdf
  • Unidade: IME

    Assunto: METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      SILVA, Flávio Soares Corrêa da e CARBOGIM, Daniela Vasconcelos. A system for reasoning with fuzzy predicates. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/441c6b14-0513-4e74-88c6-7815918523d7/885918.pdf. Acesso em: 27 abr. 2024. , 1994
    • APA

      Silva, F. S. C. da, & Carbogim, D. V. (1994). A system for reasoning with fuzzy predicates. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/441c6b14-0513-4e74-88c6-7815918523d7/885918.pdf
    • NLM

      Silva FSC da, Carbogim DV. A system for reasoning with fuzzy predicates [Internet]. 1994 ;[citado 2024 abr. 27 ] Available from: https://repositorio.usp.br/directbitstream/441c6b14-0513-4e74-88c6-7815918523d7/885918.pdf
    • Vancouver

      Silva FSC da, Carbogim DV. A system for reasoning with fuzzy predicates [Internet]. 1994 ;[citado 2024 abr. 27 ] Available from: https://repositorio.usp.br/directbitstream/441c6b14-0513-4e74-88c6-7815918523d7/885918.pdf

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2024